widget-factory: Remove useless separators
authorTimm Bäder <mail@baedert.org>
Tue, 28 Jul 2020 04:14:45 +0000 (06:14 +0200)
committerTimm Bäder <mail@baedert.org>
Tue, 28 Jul 2020 04:14:45 +0000 (06:14 +0200)
commitb213b01200103d1e5d581fb84a838d417a8d5088
tree9a3538d20ad5195ce14b4c463a958b4a6710b476
parentac1f242b6ca38e3f395b221f440bb415a869134c
widget-factory: Remove useless separators

They don't serve a purpose and are not relevant for theming purposes.
demos/widget-factory/widget-factory.ui